1. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
2. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
